1041. Formal semantics of Programming languages
پدیدآورنده : Courant Computer Science Symposium, 2d, New York, 0791
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Programming languages )Electronic computers(-- Semantics-- Congresses
رده :
QA
76
.
7
.
C68
1970
1042. Formal specification and software development
پدیدآورنده : Bjorner, Dines
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Programming ، Electronic digital computers,، Programming languages )Electronic computers(
رده :
QA
76
.
6
.
B575
1982
1043. Formal specification and software development
پدیدآورنده : Bjorner, Dines, 7391-
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، Computer software -- Development,، Programming languages )Electronic computers(
رده :
QA
76
.
6
.
B575
1044. Formal specification of interactive graphics programming languages
پدیدآورنده : Mallgren, William Roberts
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Programming languages )Electronic computers(-- Computer graphics
رده :
T
385
.
M34
1983
1045. Formal specification of interactive graphics programming languages
پدیدآورنده : / William R. Mallgren
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Programming languages (Electronic computers)- Computer graphics
رده :
T385
.
M34
1983
1046. Formal syntax and semantics of Java
پدیدآورنده : Jim Alves-Foss )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Java )Computer program language(,، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
L28
Vol
.
1523
1047. Formal syntax and semantics of Java
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Java (Computer program language) ; Programming languages (Electronic computers) ; Semantics ;
1048. Formal syntax and semantics of Java
پدیدآورنده : / Jim Alves-Foss (ed.)
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Java (Computer program language),Programming languages (Electronic computers)--Semantics
رده :
QA
,
76
.
73
,.
J38
,
F67
,
1999
1049. Formal syntax and semantics of programming languages
پدیدآورنده : / Kenneth Slonneger, Barry L. Kurtz
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Programming languages (Electronic computers)--Syntax,Programming languages (Electronic computers)--Semantics
رده :
QA
,
76
.
7
,.
S59
,
1995
1050. Formal syntax and semantics of programming languages :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Programming languages (Electronic computers) ; Syntax. ;
1051. Formal syntax and semantics of programming languages : a laboratory based approach
پدیدآورنده : Slonneger, Kenneth.
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Programming languages )Electronic computers( - Syntax , Programming languages )Electronic computers( - Semantics
رده :
QA
76
.
7
.
S59
1995
1052. Formalization of programming concepts : international colloquium, Peniscola, Spain, April 19-25, 1981 : proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic digital computers-- Programming-- Congresses
رده :
QA
76
.
6
.
F66
1053. Formalization of programming concepts : international colloquium, Peniscola, Spain, April 19-25, 1981 : proceedings
پدیدآورنده : edited by J. Diaz and I. Ramos
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Electronic digital computers - Programming
رده :
QA
76
.
L4
v
.
107
1054. Fortran IV programming
پدیدآورنده : Chopra ,M. G
کتابخانه: Central Library and Documents Center of Al-Zahra University (Tehran)
موضوع : ، FORERAN )computer program language(,، Electronic digital computers - programming
رده :
QA
76
.
5
.
C45
1055. Fortran IV programming : a concise exposition
پدیدآورنده : Ralston, Anthony
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، FORTRAN IV )Computer program language(,، Electronic digital computers -- Programming
رده :
QA
76
.
5
.
R296
1056. Fortran IV programming for engineers and scientists
پدیدآورنده : Murrill, Paul W.
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، FORTRAN IV )Computer program language(,، Electronic digital computers -- Programming
رده :
QA
76
.
73
.
F25
M87
1973
1057. Fortran iv programming: a concise exposition
پدیدآورنده : Ralston, Anthony
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، FORTRAN )Computer program language(,، Electronic digital computers-- Programming
رده :
QA
76
.
5
.
R296
1058. Fortran iv:programming & computing
پدیدآورنده : GOLDEN,JAMES T
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : FORTRAN)COMPUTER PROGRAM LANGUAGE( , ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING
رده :
QA
76
.
5
.
G558
1059. Fortran iv programming for engineers & scientists
پدیدآورنده : MURRILL,PAUL W
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : FORTRAN IV )COMPUTER PROGRAM LANGUAGE( , ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING
رده :
QA
76
.
73
.
F25
M87
1973
1060. Fortran language
پدیدآورنده : [by] Robert J. Wimmert
کتابخانه: Library of the Faculty of Economics University of Tehran (Tehran)
موضوع : Electronic digital computers,Programming (Electronic computers)
رده :
QA
76
.
5
.
W5
V
.
2
